The Essence of Form Abstraction

نویسندگان

  • Ezra Cooper
  • Sam Lindley
  • Philip Wadler
  • Jeremy Yallop
چکیده

Abstraction is the cornerstone of high-level programming; HTML forms are the principal medium of web interaction. However, most web programming environments do not support abstraction of form components, leading to a lack of compositionality. Using a semantics based on idioms, we show how to support compositional form construction and give a convenient syntax.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Virtualization in Grids: A Semantical Approach

Ever since the grid was conceptualized, many attempts have been made to reveal the real essence of grid computing. These models have converged towards the notion of virtualization. This paper is aimed at analyzing the semantics of virtualization. It is shown that resource abstraction is necessary for harnessing numerous diverse distributed resources whereas user abstraction is required for real...

متن کامل

کرامت انسانی؛ اعتبار یا انتزاع؟

The nature of human dignity is among the most basic queries about the essence of humanity, and research in this area can produce results that may be applied to various health related topics. There is a need for defining comprehensive criteria for the bio-human in order to protect human rights and other values that are attributable to human biology.The present paper first attempts to determine w...

متن کامل

Abstraction, desalination and recharge method to control seawater intrusion into unconfined coastal aquifers

In this study, abstraction, desalination and recharge method and SEAWAT numerical model are used to investigate seawater intrusion repulsion in a hypothetical two-dimensional coastal aquifer to understand the relation of seawater intrusion with abstraction, desalination and recharge parameters (i.e. abstraction/recharge rate, wells distance and depth). Abstraction, desalination and recharge con...

متن کامل

THE UNCHANGEABLE ESSENCE BUT CHANGEABLE AND UNCHANGEABLE ATTRIBUTES

 In what follows, the author has dealt with the relation between the necessary being as an unchangeable Essence and His changeable and unchangeable attributes. Neither is the ascription of any changeable attribute impossible for God nor is the ascription of any kind of unchangeable attribute possible. As the change of genitive attributes does not demand the change in the Essence, it is possible...

متن کامل

a being of the simplest essence’ ‘ The principle of

  The principle of ‘a being of the simplest essence’, basitulhaqiqah, is one of the most important one in transcendent philosophy upon which has been based the solution of many complicated and difficult problems. Now a question appears as: can the principle form a proof for the simplicity of the Necessary? In the paper, the principle has been analyzed and its background presented. Then it has ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008